Home > Search Results: keywords:"Scholz's problem"
Search:
Search Tips :: Advanced Search
Search collections:
Sort by: Display results: Output format:
National Repository of Grey Literature 3 records found  Search took 0.01 seconds. 
Spectrum problem
 Poláková, Kristýna ; Krajíček, Jan (advisor) ; Jeřábek, Emil (referee)
In the present work we study the spectrum problem that was introduced by H. Scholz in 1952. We define the basic concepts associated with this problem. We follow its further development, especially context with sets from complexity class NE. We defined a generalized spectra. We introduce examples of sets of natural numbers, which are spectra.
Detailed record
Spectrum problem
 Ježil, Ondřej ; Krajíček, Jan (advisor) ; Šaroch, Jan (referee)
We study spectra of first-order sentences. After providing some interesting examples of spectra we show that the class of spectra is closed under some simple set-theoretic and algebraic operations. We then define a new class of definable operations generalizing the earlier constructions. Our main result is that the class of these operations is, in a suitable technical sense, closed under a form of iteration. This in conjunction with Cobham's characterisation of FP offers a new proof of Fagin's theorem and also of the Jones-Selman characterisation of spectra as NE sets. 1
Detailed record
Spectrum problem
 Poláková, Kristýna ; Krajíček, Jan (advisor) ; Jeřábek, Emil (referee)
In the present work we study the spectrum problem that was introduced by H. Scholz in 1952. We define the basic concepts associated with this problem. We follow its further development, especially context with sets from complexity class NE. We defined a generalized spectra. We introduce examples of sets of natural numbers, which are spectra.
Detailed record

Interested in being notified about new results for this query?
Subscribe to the RSS feed.
Digital Repository :: Search :: Submit :: Personalize :: Help
Powered by Invenio v1.1.2
Maintained by admin.invenio@techlib.cz
This site is also available in the following languages:
Česky  English